<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<!--

  @(#)tokens.html

-->
</head>
<body bgcolor="white">

实现谓词抽象算法中的底层标记.

<h2>Package Specification</h2>

<pre>
tokens主要类介绍：

<table borderclor="white">
<tr><td>Variable</td><td>表示单个变量</td></tr>
<tr><td>Expression</td><td>运算表达式，由变量和数字、运算符组成，数字也是运算表达式的一种</td></tr>
<tr><td>Condition</td><td>原子条件式，由运算表达式和关系符组成</td></tr>
<tr><td>AdvCondition</td><td>高级条件式，由原子条件式和逻辑运算符组成</td></tr>
<tr><td>EvaluationSentence</td><td>赋值语句，由变量和运算表达式组成</td></tr>
<tr><td>DecisionSentence</td><td>条件判断语句，由高级条件表达式组成</td></tr>
</table>
</pre>

<!--
<ul>
  <li><a href="">##### REFER TO ANY FRAMEMAKER SPECIFICATION HERE #####</a>
</ul>
-->

<h2>Related Documentation</h2>

有关tokens设计的其他资料：
<ul>
  <li><a href="./doc-files/tokens.jpg">tokens类图</a>
</ul>

<!-- Put @see and @since tags down here. -->

</body>
</html>
